1

Comparison of Picard groups in dimension 1

Henri Lombardi, Claude Quitté
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 102 KB
english, 2008
4

[Algebra and Applications] Commutative Algebra: Constructive Methods Volume 20 ||

Lombardi, Henri, Quitté, Claude
Year:
2015
Language:
english
File:
PDF, 10.69 MB
english, 2015
5

Curves and coherent Prüfer rings

Thierry Coquand, Henri Lombardi, Claude Quitté
Journal:
Journal of Symbolic Computation
Year:
2010
Language:
english
File:
PDF, 292 KB
english, 2010
6

Constructive finite free resolutions

Thierry Coquand, Claude Quitté
Journal:
manuscripta mathematica
Year:
2012
Language:
english
File:
PDF, 202 KB
english, 2012
9

Seminormal rings (following Thierry Coquand)

Henri Lombardi, Claude Quitté
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 358 KB
english, 2008
10

Univariate polynomial factorization over finite fields

Patrice Naudin, Claude Quitté
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.54 MB
english, 1998
11

Generating non-Noetherian modules constructively

Thierry Coquand, Henri Lombardi, Claude Quitté
Journal:
manuscripta mathematica
Year:
2004
Language:
english
File:
PDF, 107 KB
english, 2004